(0 16 3)(1 11 9)(2 15 13)(4 10 7)(5 17 8)(6 14 12)
ALLOWS (11/8)-SEQUENCE
1: (5 8 17)
(0 16 3)(1 11 9)(2 15 13)(4 10 7)(5 8 17)(6 14 12)
2: (4 10 7)
(0 16 3)(1 11 9)(2 15 13)(4)(5 8 17)(6 14 12)(7)(10)
3: (5 8 17)
(0 16 3)(1 11 9)(2 15 13)(4)(5)(6 14 12)(7)(8)(10)(17)
4: (1 11 9)
(0 16 3)(1)(2 15 13)(4)(5)(6 14 12)(7)(8)(9)(10)(11)(17)